logic

SWI-Prolog

A versatile implementation of the Prolog language

Details
Logisim-evolution

Digital logic design tool and simulator

Details
ECLiPSe Constraint Logic Programming System Version 7.1

A Constraint Logic Programming (CLP) system

Details
ECLiPSe Constraint Logic Programming System Version 7.0

A Constraint Logic Programming (CLP) system

Details
Logtalk

Declarative object-oriented logic programming language

Details
Scryer Prolog

A modern Prolog implementation written mostly in Rust.

Details